Introducing (strong) monads in computer science (in the form of “extension systems”, “Kleisli triples” as a form of computation with side-effects):
Eugenio Moggi, Computational lambda-calculus and monads, in: Proceedings of the Fourth Annual Symposium on Logic in Computer Science (1989) 14-23 [doi:10.1109/LICS.1989.39155]
Eugenio Moggi, An abstract View of Programming Languages, LFCS report ECS-LFCS-90-113 (1989) [web, pdf]
Eugenio Moggi, Notions of computation and monads, Information and Computation, 93 1 (1991) [doi:10.1016/0890-5401(91)90052-4, pdf]
and on their monad transformers:
Review:
On categorical model of dependent types:
Last revised on September 18, 2023 at 06:41:45. See the history of this page for a list of all contributions to it.